Саша Шень очень сильно повлиял на мою жизнь. Среди прочего, он научил меня хорошей версии функ-ана в "народном университете", и рассказал мне, что есть такой Dana Scott, который делает топологические модели языков программирования.
I started to look at some new work in software continualization recently, in particular, at models using ordinary dinamical systems (both discrete and continuous time), as opposed to more popular models which use non-Hausdorff topology.
In particular, I wanted to refer to the papers by Howard Blair and his colleagues from Syracuse University
( Read more... )